(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     15136,        549]
NotebookOptionsPosition[     11088,        423]
NotebookOutlinePosition[     13393,        482]
CellTagsIndexPosition[     13308,        477]
WindowTitle->DummyIndexFreeQ
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FCRenameDummyIndices\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/FCRenameDummyIndices"], "\<\"Contract\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/Contract"], "\<\"FreeIndexFreeQ\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/FreeIndexFreeQ"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/DummyIndexFreeQ\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/DummyIndexFreeQ"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
DummyIndexFreeQ.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$76401], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/DummyIndexFreeQ", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["DummyIndexFreeQ", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"DummyIndexFreeQ", "[", 
       RowBox[{"exp", ",", 
        RowBox[{"{", 
         RowBox[{"head1", ",", "head2", ",", "..."}], "}"}]}], "]"}]], 
      "InlineFormula"],
     " \[LineSeparator]returns True if the expression contains dummy indices \
with heads head1, head2, ... and False otherwise. As always in FeynCalc, \
Einstein summation convention is implicitly assumed. The function is \
optimized for large expressions, i.e. it is not so good as a criterion in \
e.g. Select"
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->504049926],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->706348310],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FCI", "[", 
  RowBox[{
   RowBox[{"FV", "[", 
    RowBox[{"p", ",", "\[Mu]"}], "]"}], " ", 
   RowBox[{"FV", "[", 
    RowBox[{"q", ",", "\[Nu]"}], "]"}]}], "]"}]], "Input",
 CellLabel->"In[1]:=",
 CellID->953326827],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox[
    FormBox[
     OverscriptBox[
      FormBox["p",
       TraditionalForm], "_"],
     TraditionalForm], 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm]], " ", 
   SuperscriptBox[
    FormBox[
     OverscriptBox[
      FormBox["q",
       TraditionalForm], "_"],
     TraditionalForm], 
    FormBox[
     FormBox["\[Nu]",
      TraditionalForm],
     TraditionalForm]]}], TraditionalForm]], "Output",
 ImageSize->{53, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]=",
 CellID->1392220727]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DummyIndexFreeQ", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", "LorentzIndex", "}"}]}], "]"}]], "Input",
 CellLabel->"In[2]:=",
 CellID->1482247787],

Cell[BoxData[
 FormBox["True", TraditionalForm]], "Output",
 ImageSize->{31, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]=",
 CellID->600599141]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FCI", "[", 
  RowBox[{
   RowBox[{"FV", "[", 
    RowBox[{"p", ",", "\[Mu]"}], "]"}], " ", 
   RowBox[{"FV", "[", 
    RowBox[{"q", ",", "\[Mu]"}], "]"}]}], "]"}]], "Input",
 CellLabel->"In[3]:=",
 CellID->950756213],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox[
    FormBox[
     OverscriptBox[
      FormBox["p",
       TraditionalForm], "_"],
     TraditionalForm], 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm]], " ", 
   SuperscriptBox[
    FormBox[
     OverscriptBox[
      FormBox["q",
       TraditionalForm], "_"],
     TraditionalForm], 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm]]}], TraditionalForm]], "Output",
 ImageSize->{55, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]=",
 CellID->600641716]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DummyIndexFreeQ", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", "LorentzIndex", "}"}]}], "]"}]], "Input",
 CellLabel->"In[4]:=",
 CellID->1892034700],

Cell[BoxData[
 FormBox["False", TraditionalForm]], "Output",
 ImageSize->{34, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]=",
 CellID->494121601]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FCI", "[", 
  RowBox[{"SUNT", "[", 
   RowBox[{"a", ",", "b"}], "]"}], "]"}]], "Input",
 CellLabel->"In[5]:=",
 CellID->1754662751],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox["T", 
    FormBox[
     FormBox["a",
      TraditionalForm],
     TraditionalForm]], ".", 
   SuperscriptBox["T", 
    FormBox[
     FormBox["b",
      TraditionalForm],
     TraditionalForm]]}], TraditionalForm]], "Output",
 ImageSize->{56, 17},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]=",
 CellID->1021516466]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DummyIndexFreeQ", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", "SUNIndex", "}"}]}], "]"}]], "Input",
 CellLabel->"In[6]:=",
 CellID->1812674747],

Cell[BoxData[
 FormBox["True", TraditionalForm]], "Output",
 ImageSize->{31, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[6]=",
 CellID->1193808511]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FCI", "[", 
  RowBox[{"SUNT", "[", 
   RowBox[{"a", ",", "a"}], "]"}], "]"}]], "Input",
 CellLabel->"In[7]:=",
 CellID->785933249],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox["T", 
    FormBox[
     FormBox["a",
      TraditionalForm],
     TraditionalForm]], ".", 
   SuperscriptBox["T", 
    FormBox[
     FormBox["a",
      TraditionalForm],
     TraditionalForm]]}], TraditionalForm]], "Output",
 ImageSize->{55, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[7]=",
 CellID->424951304]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DummyIndexFreeQ", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", "SUNIndex", "}"}]}], "]"}]], "Input",
 CellLabel->"In[8]:=",
 CellID->293653821],

Cell[BoxData[
 FormBox["False", TraditionalForm]], "Output",
 ImageSize->{34, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[8]=",
 CellID->424642719]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["FCRenameDummyIndices",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/FCRenameDummyIndices",
  ButtonNote->"FCRenameDummyIndices"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["Contract",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/Contract",
  ButtonNote->"Contract"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["FreeIndexFreeQ",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/FreeIndexFreeQ",
  ButtonNote->"FreeIndexFreeQ"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso",
 CellID->1732330916]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{0, Automatic}, {Automatic, 31}},
WindowTitle->"DummyIndexFreeQ",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 4, 24.741871}", 
    "history" -> {"9.3", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "DummyIndexFreeQ[exp, {head1, head2, ...}] returns True if the expression \
contains dummy indices with heads head1, head2, ... and False otherwise. As \
always in FeynCalc, Einstein summation convention is implicitly assumed. The \
function is optimized for large expressions, i.e. it is not so good as a \
criterion in e.g. Select", "synonyms" -> {}, "tabletags" -> {}, "title" -> 
    "DummyIndexFreeQ", "titlemodifier" -> "", "windowtitle" -> 
    "DummyIndexFreeQ", "type" -> "Symbol", "uri" -> 
    "FeynCalc/ref/DummyIndexFreeQ"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[4910, 137, 387, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->504049926]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 13165, 470}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[587, 21, 3254, 78, 53, "AnchorBarGrid",
 CellID->1],
Cell[3844, 101, 292, 11, 45, "ObjectNameGrid"],
Cell[4139, 114, 746, 19, 119, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4910, 137, 387, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->504049926],
Cell[CellGroupData[{
Cell[5322, 156, 195, 6, 26, "ExampleSection",
 CellID->706348310],
Cell[CellGroupData[{
Cell[5542, 166, 240, 8, 27, "Input",
 CellID->953326827],
Cell[5785, 176, 620, 27, 37, "Output",
 CellID->1392220727]
}, Open  ]],
Cell[CellGroupData[{
Cell[6442, 208, 170, 5, 27, "Input",
 CellID->1482247787],
Cell[6615, 215, 189, 6, 35, "Output",
 CellID->600599141]
}, Open  ]],
Cell[CellGroupData[{
Cell[6841, 226, 240, 8, 27, "Input",
 CellID->950756213],
Cell[7084, 236, 619, 27, 37, "Output",
 CellID->600641716]
}, Open  ]],
Cell[CellGroupData[{
Cell[7740, 268, 170, 5, 27, "Input",
 CellID->1892034700],
Cell[7913, 275, 190, 6, 35, "Output",
 CellID->494121601]
}, Open  ]],
Cell[CellGroupData[{
Cell[8140, 286, 155, 5, 27, "Input",
 CellID->1754662751],
Cell[8298, 293, 408, 17, 38, "Output",
 CellID->1021516466]
}, Open  ]],
Cell[CellGroupData[{
Cell[8743, 315, 166, 5, 27, "Input",
 CellID->1812674747],
Cell[8912, 322, 190, 6, 35, "Output",
 CellID->1193808511]
}, Open  ]],
Cell[CellGroupData[{
Cell[9139, 333, 154, 5, 27, "Input",
 CellID->785933249],
Cell[9296, 340, 407, 17, 35, "Output",
 CellID->424951304]
}, Open  ]],
Cell[CellGroupData[{
Cell[9740, 362, 165, 5, 27, "Input",
 CellID->293653821],
Cell[9908, 369, 190, 6, 35, "Output",
 CellID->424642719]
}, Open  ]]
}, Open  ]],
Cell[10125, 379, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10193, 384, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[10466, 398, 580, 20, 56, "SeeAlso",
 CellID->1732330916]
}, Open  ]],
Cell[11061, 421, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

